Nuprl Definition : abs-val
0,22
postcript
pdf
|
x
| == if
x
<
0
-
x
else
x
fi
latex
Definitions
if
b
t
else
f
fi
,
i
<
j
FDL editor aliases
abs-val
origin
0
-x else x fi 0 -x else x fi t else f fij